Univalence Axiom (UA)
公理なので証明はされない
Univalence Axiom関連の動画
Univalence Axiom(UA)に関するいろいろな実装
Univalence Axiomの訳
uni-: 単一の
-valence: 原子価
Axiom: 原理、(数学、論理学)公理、公準
Univalence Axiomなのでそのまま訳すと一価公理となりそう
ChatGPTに聞いたら同値性公理と訳してくれた
個人的には同値性公理の方がなんのことかわかりやすくはある
univalent: 一価
uni-: 単一の
-valent: …(原子)価の
語源: ラテン語「…の力を持つ」
定義
$ (A = B) ≃ (A ≃ B)
$ \text{equiv-eq} : (A = B) ≃ (A ≃ B)
確認用
Q. Univalence Axiom
Q. 何がうれしいか
関連
参考